게르하르트 겐첸 논리학자 수학자 게르하르트 카를 에리히 겐첸(Gerhard Karl Erich Gentzen)은 독일의 논리학자이자 수학자이다. 업적 자연 연역과 시퀀트 계산 제시, 자름-제거 정리 (cut-elimination theorem)를 이용한 자연 연역의 일관성 증명 페아노 산술의 일관성 증명 (Gentzen's consistency proof)